Damascus steel reloaded
نویسندگان
چکیده
منابع مشابه
Cheating Death in Damascus
Evidential and Causal Decision Theory are the leading contenders as theories of rational action, but both face fatal counterexamples. We present some new counterexamples, including one in which the optimal action is causally dominated. We also present a novel decision theory, Functional Decision Theory (fdt), which simultaneously solves both sets of counterexamples. Instead of considering which...
متن کاملMorfeusz Reloaded
The paper presents recent developments in Morfeusz – a morphological analyser for Polish. The program, being already a fundamental resource for processing Polish, has been reimplemented with some important changes in the tagset, some new options, added information on proper names, and ability to perform simple prefix derivation. The present version of Morfeusz (including its dictionaries) is ma...
متن کاملSampling Reloaded
Sampling methods are integral to the design of surveys and experiments, to the validity of results, and thus to the study of statistics, social science, and a variety other disciplines that use statistical data. Many probabilistic sampling methods have been proposed in the literature for capturing large amounts of data succinctly. Such methods are bound by the space & time constraint and find d...
متن کاملTaverna, Reloaded
The Taverna workflow management system is an open source project with a history of widespread adoption within multiple experimental science communities, and a longterm ambition of effectively supporting the evolving need of those communities for complex, data-intensive, service-based experimental pipelines. This paper describes how the recently overhauled technical architecture of Taverna addre...
متن کاملEquations Reloaded
Eqations is a plugin for the Coq proof assistant which provides a notation for defining programs by dependent pattern-matching and well-founded recursion and derives useful proof principles for demonstrating properties about them. We present here an improved design and rewriting of its implementation that avoids the use of axioms and reliance on Ltac programming, providing a feature-rich functi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature Reviews Materials
سال: 2020
ISSN: 2058-8437
DOI: 10.1038/s41578-020-0219-8